Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.
In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | B | F | F | F | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 150 | 150 | 348 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 2.32 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.01 |
time (sec) |
N/A | 0.089 | 10.277 | 0.008 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | B | F | F | F | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 150 | 150 | 367 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 2.45 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.01 |
time (sec) |
N/A | 0.086 | 10.397 | 0.010 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | B | F | F | F | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 148 | 148 | 366 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 2.47 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.01 |
time (sec) |
N/A | 0.088 | 10.373 | 0.017 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | B | F | F | F | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 148 | 148 | 409 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 2.76 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.01 |
time (sec) |
N/A | 0.088 | 10.512 | 0.016 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | B | A | B | B | B | B |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 156 | 156 | 111 | 782 | 195 | 594 | 4332 | 1132 | 546 |
N.S. | 1 | 1.00 | 0.71 | 5.01 | 1.25 | 3.81 | 27.77 | 7.26 | 3.50 |
time (sec) |
N/A | 0.065 | 0.393 | 0.017 | 0.318 | 0.350 | 1.050 | 3.212 | 4.834 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | B | A | B | B | B | B |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 101 | 101 | 70 | 301 | 110 | 241 | 1435 | 449 | 260 |
N.S. | 1 | 1.00 | 0.69 | 2.98 | 1.09 | 2.39 | 14.21 | 4.45 | 2.57 |
time (sec) |
N/A | 0.035 | 0.106 | 0.013 | 0.298 | 0.330 | 0.533 | 3.741 | 4.584 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | A | A | A | B | B | B |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 52 | 52 | 35 | 51 | 50 | 71 | 299 | 119 | 89 |
N.S. | 1 | 1.00 | 0.67 | 0.98 | 0.96 | 1.37 | 5.75 | 2.29 | 1.71 |
time (sec) |
N/A | 0.013 | 0.043 | 0.012 | 0.299 | 0.362 | 0.237 | 3.965 | 4.395 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | F | F | F | F | F | F |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 173 | 173 | 82 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 0.47 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.01 |
time (sec) |
N/A | 0.168 | 0.076 | 0.015 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | F | F | F | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 315 | 315 | 78 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 0.25 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.459 | 0.102 | 0.005 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | B | F | F | F | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 158 | 158 | 357 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 2.26 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.01 |
time (sec) |
N/A | 0.095 | 0.692 | 0.004 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | F | F | F | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 157 | 157 | 181 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 1.15 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.01 |
time (sec) |
N/A | 0.092 | 0.503 | 0.004 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | F | F | F | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 157 | 157 | 181 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 1.15 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.01 |
time (sec) |
N/A | 0.091 | 0.742 | 0.006 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | F | F | F | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 160 | 160 | 221 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 1.38 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.01 |
time (sec) |
N/A | 0.099 | 8.679 | 0.005 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | F | F | F | F(-1) | F | F |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 155 | 155 | 179 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 1.15 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.01 |
time (sec) |
N/A | 0.071 | 0.190 | 0.025 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | F | F | F | F | F | F |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 257 | 257 | 162 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 0.63 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.247 | 0.378 | 0.025 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | F | F | F | F | F | F |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 223 | 223 | 162 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 0.73 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.148 | 0.336 | 0.021 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | F | F | F | F | F | F |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 160 | 160 | 162 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 1.01 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.01 |
time (sec) |
N/A | 0.085 | 0.254 | 0.014 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | F | F | F | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 126 | 126 | 135 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 1.07 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.01 |
time (sec) |
N/A | 0.052 | 0.104 | 0.009 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | F | F | F | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 152 | 152 | 152 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 1.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.01 |
time (sec) |
N/A | 0.104 | 0.220 | 0.006 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | F | F | F | F(-1) | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 166 | 166 | 163 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 0.98 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.01 |
time (sec) |
N/A | 0.095 | 0.245 | 0.013 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | F | F | F | F(-1) | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 164 | 164 | 159 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 0.97 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.01 |
time (sec) |
N/A | 0.097 | 0.270 | 0.017 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | F | F | F | F | F | F |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 138 | 138 | 166 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 1.20 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.01 |
time (sec) |
N/A | 0.066 | 0.394 | 0.014 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | F | F | F | F | F | F |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 138 | 138 | 166 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 1.20 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.01 |
time (sec) |
N/A | 0.061 | 0.392 | 0.012 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | F | F | F | F | F | F |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 133 | 133 | 161 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 1.21 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.01 |
time (sec) |
N/A | 0.045 | 0.120 | 0.006 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | F | F | F | F | F | F |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 136 | 136 | 164 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 1.21 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.01 |
time (sec) |
N/A | 0.059 | 0.398 | 0.010 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | F | F | F | F(-1) | F | F |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 138 | 138 | 166 | 0 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 1.20 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | -0.01 |
time (sec) |
N/A | 0.061 | 0.394 | 0.013 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |